Nuprl Definition : union def 13,42
left + right is Primitive 
latex

Upcore 1, core 1

origin